Free shipping on all orders! No minimum purchase required.
Formal Methods: Foundations and Applications
by Márcio Cornélio (Editor), Bill Roscoe (Editor)
